箙 (quiver)

同義語

指標 (signature)

仕樣 (specification)

理論 (theory)。形式理論 (formal theory)

interface

presentation。表示。表現

生成系 (generators。generating set。system of generators。system of generators and relations)。構文生成系 (syntactic generators)

computad

polygraph

多重有向 graph (multidigraph)

多重 graph (multigraph)